An Overview of Compiler Techniques for Interprocedural Array Section Analysis

Dependence analysis of arrays is crucial in the compilation of parallel applications, as an inaccurate summary of array usage may reduce the potential for optimizations. Standard scalar techniques are inadequate for they do not accommodate speci c accesses to arrays. Array section analysis describes accesses to arrays at a ner granularity than the scalar techniques. More precisely, array section analysis techniques summarize a collection of accesses to a speci c array in a procedure. In this paper, we present a summary of existing array section analysis techniques for interprocedural dependence analysis. We identify and compare two classes of such techniques and give suggestions for improving the techniques.